Merge pull request #1482 from sandrine-bailleux-arm/sb/fix-hcptr
authordanh-arm <dan.handley@arm.com>
Thu, 19 Jul 2018 10:36:58 +0000 (11:36 +0100)
committerGitHub <noreply@github.com>
Thu, 19 Jul 2018 10:36:58 +0000 (11:36 +0100)
Misc arch.h fixes and cleanup


Trivial merge